- LNCS735
- -D. Bjorner/M. Broy/I.V. Pottoson (Eds.): Formal Methods in Programming and Their Applications, Springer-Verlag Proceedings 1993
Acronyms von A bis Z. 2013.
Acronyms von A bis Z. 2013.
LNCS735 — D. Bjorner/M. Broy/I.V. Pottoson (Eds.): Formal Methods in Programming and Their Applications, Springer Verlag Proceedings 1993 … Acronyms